Les actualités du Laboratoire
Les bulletins à la Une
Le dernier séminaire a eu lieu le 19 Décembre 2024
Les 3 derniers séminaires du LIM
Sequent Calculus: An Important Connection Between Proofs and Programs
Animé par , le 19 Décembre 2024 à 08:30:00
Karim Nour nous propose un séminaire consistant en un exposé / discussions sur le thème : Sequent Calculus: An Important Connection Between Proofs and Programs. Il est prévu se dérouler de 8h30 à 11h30 (avec une pause d'un quart d'heure au milieu) et reprendre de 13h30 à 15h30.
Sur les puissances de la fonction de Collatz
Animé par , le 28 Novembre 2024 à 14:00:00
La fonction de Collatz associe à tout entier naturel n sa moitié si n est pair, et sinon 3n+1. Par codage en base 2 inverse, il est aisé de réaliser cette fonction à l'aide d'un transducteur à 5 états. Cependant, ce transducteur ne permet pas de définir en fonction de tout entier p, un transducteur réalisant la puissance p ième de la fonction de Collatz. Par codage en base 6 (directe), on réalise la fonction de Collatz à l'aide d'un transducteur à 2 états. Ce transducteur permet alors de définir en fonction de tout entier p, un transducteur réalisant la puissance p ième de la fonction de Collatz. Ce travail a été présenté à MCU 2024 en collaboration avec Chloé Rispal.
Méthodologie de classification par approche descriptive hybride numérique/symbolique
Animé par , le 25 Octobre 2024 à 14:00:00
La méthodologie de classification par approche descriptive consiste à caractériser les données en s'appuyant sur des descripteurs extraits de celles-ci. Dans le cadre de la reconnaissance vocale des cétacés, cette approche implique d'abord une analyse détaillée des vocalises enregistrées, en identifiant des paramètres acoustiques tels que la fréquence, la durée, et les motifs temporels. Ensuite, ces descripteurs permettent de regrouper et de classifier les vocalises en fonction de leurs similarités. La description symbolique, telle que l'espèce, le lieu d'enregistrement, l'auteur de l'enregistrement, sont aussi des informations permettant la classification.